Update dependency: deps/haskell-backend_release #4319
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
… version fcaae2871deda2090f4707dd09a45dec4065ff11
… version eb0ec7690fb6e7beaacb4a5cdbd1cefbbf343a80
…meverification/haskell-backend
… version 538d079599c85f5789b2a4d8d8db55c91e52cfdb
…meverification/haskell-backend
… version a0ca443f999f9a71ea8bdaab78e91340e318830a
…meverification/haskell-backend
… version aa1bc71a8c2c6937306ca1f411c4d0ff75e7b5b8
… version df703fed9c5f7e4e0e2d13129cee0f593f91a52e
geo2a
approved these changes
May 10, 2024
This was referenced May 10, 2024
added 2 commits
May 15, 2024 12:19
…meverification/haskell-backend
… version 527843308d3c49c41c3476196149e1d46c455052
…meverification/haskell-backend
geo2a
force-pushed
the
_update-deps/runtimeverification/haskell-backend
branch
3 times, most recently
from
cc230ba to
ed71879
Compare
added 3 commits
May 16, 2024 11:21
… version b27210141c06c5698201dc3f1fabc90bd09ffe59
rv-jenkins
pushed a commit
that referenced
this pull request
May 22, 2024
~Needs runtimeverification/haskell-backend#3856 ~Blocked on #4319 (review) @PetarMax wants to experiment with Booster-only simplifications in Kontrol. To avoid the need for power-users of Kontrol to building the backend from source, we should expose booster-dev in flake.nix and also forward it to K's flake, so that it is installed with kup install k.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Blocked on runtimeverification/haskell-backend#3857Blocked on runtimeverification/haskell-backend#3876